MIME-Version: 1.0
Server: CERN/3.0
Date: Wednesday, 20-Nov-96 19:31:23 GMT
Content-Type: text/html
Content-Length: 4566
Last-Modified: Wednesday, 20-Nov-96 16:45:13 GMT

<HTML>
<!****************************************************************************>
<HEAD>
<A NAME="Contents">
<TITLE>Home page of Christoph Kreitz</TITLE>
</A>
</HEAD>
<!****************************************************************************>




<!****************************************************************************>
<BODY bgcolor="#F2F2F2" text="#000000" link="#ff3333" vlink="#555599">
<table cellpadding=10 cellspacing=5 width=600>
<tr>
<!-------------------------------- col one -------------------------------->
<td valign=top hspace=20 width=130> 
 <!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><IMG hspace=20 SRC="http://www.cs.cornell.edu/Info/People/kreitz/bitmaps/wizard.xbm">
 <br>
 <br>
 <font size=2 color="#FF7700"><I>My own picture soon</I></font>
</td>
<!-------------------------------- col one -------------------------------->
<td valign=top width=220> 
 <H1> <font size=10 color="#007700"> Christoph Kreitz </font></H1>
</td>
<!-------------------------------- col one -------------------------------->
<td valign=top width=190> 
 <!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><IMG SRC="http://www.cs.cornell.edu/Info/People/kreitz/bitmaps/dsklogo2.xbm"> 
 <br><br>
 <STRONG> Research Associate </STRONG>
</td>
</table>
<!------------- sollte mein BILD sein ------------->




<table cellpadding=0 cellspacing=5 width=600>
<tr>
<!-------------------------------- col one -------------------------------->
<td valign=top width=110> 
 <!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><IMG hspace=40 SRC="http://www.cs.cornell.edu/Info/People/kreitz/bitmaps/mail.xbm">
</td>
<!-------------------------------- col two -------------------------------->
<td valign=top width=250>
<DL> 
 <DT><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><A HREF="http://www.cs.cornell.edu/"> Department of Computer Science</A>
 <DT><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><A HREF="http://www.info.cornell.edu/CUHomePage.html">    Cornell University</A>            
 <DT><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><A HREF="http://www.cornell.edu/Ithaca.html">    Ithaca</A>,            
     <!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><A HREF="http://www.vtourist.com/web-ny/"> NY</A> 14853      
 <DT><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><A HREF="http://www.vtourist.com/webmap/usa.htm/"> <B>  USA </B>   </A> 
</DL>
</td>
<!-------------------------------- col three ------------------------------>
<td align=left width=35 >
<DL> 
 <DT><STRONG>Office:</STRONG>  
 <br>
 <DT><STRONG>Phone: </STRONG> 
 <DT><STRONG>Fax:   </STRONG> 
 <DT><STRONG>Email: </STRONG> 
</DL>
</td>
<!-------------------------------- col four  -------------------------------->
<td align=left width=150 >
<DL> 
 <DT><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><A HREF="http://www.cs.cornell.edu/Info/People/kreitz/myroom.html"> 4159 Upson Hall</A>
 <DD><br>
 <DT>++ 1 (607) 255 1068
 <DT>++ 1 (607) 255 4428
 <DT><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><a href="mailto:kreitz@cs.cornell.edu">kreitz@cs.cornell.edu</a>
</DL>
</td>
</table>
<HR><!------------------------------------------------------------------------>

<table cellpadding=0 cellspacing=5 width=600> 
<tr>
<!-------------------------------- col one -------------------------------->
<td valign=top width=280>
 <H3>
 <!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><IMG vspace=10 SRC="http://www.cs.cornell.edu/Info/People/kreitz/bitmaps/research.gif">
 <A NAME="ResearchTopics">Research Topics:</A>
</H3>

<UL>
<font size=3>
  <LI> <!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><A HREF="http://www.cs.cornell.edu/Info/People/kreitz/papers.html#ProgramSynthesis">
	Program Synthesis             </A>
  <LI> <!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><A HREF="http://www.cs.cornell.edu/Info/People/kreitz/papers.html#TypeTheory"> 
	Automated Deduction and Type Theory</A>
  <LI> <!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><A HREF="http://www.cs.cornell.edu/Info/People/kreitz/papers.html#TheoryofComputation">
	Theory of Computation         </A>	
</font></UL>
</td>
<!-------------------------------- col two -------------------------------->
<td valign=top width=320>
 <H3>
 <A NAME="Topics"> Teaching and Learning (German): </A> 
 <!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><IMG hspace=10 SRC="http://www.cs.cornell.edu/Info/People/kreitz/bitmaps/scroll.xbm">
</H3>
<UL>
<font size=3>
  <LI> <!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><A HREF="http://www.cs.cornell.edu/home/kreitz/papers.html#Teaching"> Lehre und Lernen  </A>
  <LI> <!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><A HREF="http://www.cs.cornell.edu/home/kreitz/papers.html#Lectures"> Vorlesungsskripte  </A>
  <LI> <!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><A HREF="http://www.cs.cornell.edu/home/kreitz/hyperscript.html"> Medienunterst&uuml<I></I>tztes Lehren </A>  
</font>
</UL>
</td>
</table>
<br>
<HR><!------------------------------------------------------------------------>
<br>
<br>

<p align=center><I><font size=2 color="#0000CC">
<!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><IMG ALIGN=bottom  SRC="http://www.cs.cornell.edu/Info/People/kreitz/bitmaps/garfield.xbm">
<!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><IMG ALIGN=bottom SRC="http://www.cs.cornell.edu/Info/People/kreitz/bitmaps/hourglass.xbm">
 This is my personal home page. More information will be available soon. 
<!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><IMG ALIGN=bottom SRC="http://www.cs.cornell.edu/Info/People/kreitz/bitmaps/under-construction.gif">
</font></I></p>

<font size=2 color="#0000CC"><STRONG>Last modified:</STRONG>
	 <BLINK><EM>November 6, 1996</EM></BLINK>
</font>

<ADDRESS>
<p align=right><font size=2>
  <!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><A HREF="http://www.cs.cornell.edu/home/kreitz">Christoph Kreitz</A>  / 
   <!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><a href="mailto:kreitz@cs.cornell.edu">t>kreitz@cs.cornell.edu</a>
</font></p>
</ADDRESS>

<font size=1 color="#0000CC">
	<!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><A HREF="http://www.cs.cornell.edu/home/kreitz/links.html">
		<STRONG>SOME LINKS</STRONG></A>
</font>
</BODY>
<!****************************************************************************>
</HTML>
